$\forall$${\it es}$:ES, $A$, $B$:Type, ${\it Ia}$:AbsInterface($A$), ${\it Ib}$:AbsInterface($B$), $f$:(E(${\it Ia}$)$\rightarrow$$B$).
\\[0ex]glued(${\it es}$; $B$; $f$; ${\it Ia}$; ${\it Ib}$)
\\[0ex]$\Leftarrow\!\Rightarrow$ Q{-}R{-}glued(${\it es}$; $B$; $f$; ${\it Ia}$; ($\lambda$$e$,${\it e'}$. $e$ $\leq$loc ${\it e'}$ ); ${\it Ib}$; ($\lambda$$e$,${\it e'}$. $e$ $\leq$loc ${\it e'}$ ))